void f(x) {
  switch (x) {
    case ((int,)? y):
  }
}
